Skip to content

cli: Remove unreachable recovery and search paths - #105

Open
BenWestgate wants to merge 2 commits into
30-recorded-fingerprint-gatefrom
codex/remove-unreachable-v1-branches
Open

BenWestgate wants to merge 2 commits into
30-recorded-fingerprint-gatefrom
codex/remove-unreachable-v1-branches

Conversation

@BenWestgate

@BenWestgate BenWestgate commented Oct 1, 2026 •

Copy link
Copy Markdown
Owner

Restore the focused cleanup review boundary after the historical #98 cleanup was absorbed into later stack work.

The PR remains two small behavior-preserving cleanup commits:

  • remove the unused _correction_plan primary/reduced/timed state and _search_many(reduced=...) argument;
  • pass the already-type-checked share list directly to recover_secret() instead of filtering it a second time.

No correction scheduling, capture accounting, wallet behavior, or public input validation changes.

Review shape

Current head 361feb7 is stacked directly on current #57 (115f2c2). The second cleanup commit retains the exact reviewed stable patch-id from historical #98. The first cleanup overlaps the adjacent _correction_candidates(..., optional_only=...) context introduced by merged #42, so its stable patch-id changed on replay; the cleanup edits themselves remain the reviewed behavior-preserving reduction.

The production-size gate remains the maintainer-authorized <5200; current-head CI includes that enforcement.

Validation

Current-head Python-package run 660 succeeded, with later duplicate current-head runs also green. The prior full validation of the same two cleanup commits passed the full suite normally and under python -O, Ruff check/format, strict mypy, all 57 frozen differential correction cases, and git diff --check.

Codex re-reviewed current head 361feb7 and found no code blocker; there are no inline review threads.

Human review/integration order from here is #57 → #105 → #99 → refreshed #80 → #81 → #95. #99 is already stacked on this exact head. After #99 integrates, refresh #80 once onto that settled Core/CLI tip before carrying #81/#95 forward.

Refs #46 and #98. These cleanup commits remain agent-authored and require responsible-human rewrite or squash under repository policy before final integration.

@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

@BenWestgate BenWestgate left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

AI-assisted release-gate re-review performed at the maintainer's request and disclosed per docs/developer/AI_POLICY.md.

ACK d886238.

This is the same two-commit cleanup previously reviewed as #98, replayed directly on refreshed #57. Stable patch-ids match #98 exactly. The changes only remove provably redundant correction-plan state and the already-type-checked share filter; correction scheduling, capture accounting, wallet behavior, and public input validation are unchanged.

Current-base verification: 101 focused CLI/correction tests passed, and the installed source is 5,179 logical lines under the authorized <5200 cap. No correctness blocker found.

@BenWestgate BenWestgate added area: cli Command-line interface behavior. area: correction Correction engine and correction UX. gate: adversarial review Resolve, merge, or explicitly defer before the next full adversarial review. labels Oct 1, 2026
@BenWestgate
BenWestgate force-pushed the 30-recorded-fingerprint-gate branch from a7efaae to 054e8d9 Compare October 1, 2026 22:02
@BenWestgate
BenWestgate force-pushed the codex/remove-unreachable-v1-branches branch from d886238 to 52c23b3 Compare October 1, 2026 22:12

@BenWestgate BenWestgate left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Exact-head release-gate re-review: ACK 52c23b3. The two-commit cleanup removes only redundant correction-plan state and a share filter after the all-Share type check; no correction scheduling, capture accounting, wallet behavior, or public validation changes. On the full refreshed restore stack through #95, 935 tests pass normally and under python -O; Ruff, format, strict mypy, correction constants, all 57 frozen differential cases, and the production-size test pass. No code blocker found. Both commits are agent-authored and still require responsible-human rewrite/squash before integration.

@BenWestgate
BenWestgate force-pushed the 30-recorded-fingerprint-gate branch from 054e8d9 to 115f2c2 Compare October 2, 2026 08:57
Codex Agent added 2 commits October 2, 2026 03:58
Every correction plan returned its target set, that same set as primary, an empty reduced set, and a true timed flag. Only the targets and primary set were consumed. Derive primary from targets at the call site and remove the other fields. The search engine also accepted reduced without reading it, so remove that argument and update its test and benchmark callers. Search order and capture accounting remain unchanged. Refs #46.
The preceding all-isinstance check rejects every non-share, so the list-comprehension predicate in recovery could never discard an item. Pass the validated list directly, using a type cast to express the established invariant to mypy. Recovery still copies and validates the sequence internally. Refs #46.
@BenWestgate
BenWestgate force-pushed the codex/remove-unreachable-v1-branches branch from 52c23b3 to 361feb7 Compare October 2, 2026 08:58

@BenWestgate BenWestgate left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Codex current-head re-review: ACK 361feb7.

The current diff is still the narrow behavior-preserving cleanup: _correction_plan() returns only the target lengths it actually uses, _search_many() drops an unread reduced parameter, and recovery passes the already-validated all-Share list directly. No scheduling, capture accounting, wallet behavior, or public validation changes are introduced. There are no inline review threads, and exact-head Python-package run 660 succeeded.

No code blocker found. The two agent-authored commits still require responsible-human rewrite/squash under repository policy before integration.

BenWestgate added a commit that referenced this pull request Oct 4, 2026
Temporary stack refresh: bring the reviewed #105 cleanup into #99's feature branch so the PR head and CI represent the intended combined tree. Human integration will rewrite/squash agent-authored history under repository policy.
BenWestgate added a commit that referenced this pull request Oct 4, 2026
Temporary stack refresh: bring the reviewed #105 cleanup into #100's feature branch so the PR head and CI represent the intended combined tree. Human integration will rewrite/squash agent-authored history under repository policy.
BenWestgate added a commit that referenced this pull request Oct 4, 2026
Temporary stack refresh: bring the reviewed #105 cleanup into #101's feature branch so the PR head and CI represent the intended combined tree. Human integration will rewrite/squash agent-authored history under repository policy.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area: cli Command-line interface behavior. area: correction Correction engine and correction UX. gate: adversarial review Resolve, merge, or explicitly defer before the next full adversarial review.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant